Sequential model - PDFSEARCH.IO - Document Search Engine

Sequential model
Results: 155

#	Item
141	Computing Laboratory[removed]A CSP Model for Java Threads (and Vice-Versa) Add to Reading List Source URL: www.cs.kent.ac.uk Language: English - Date: 2001-04-02 07:50:47 Computer programming Concurrency Monitor Communicating sequential processes JCSP Thread Lock Channel Deadlock Computing Concurrency control Concurrent computing
142	Interacting Multiple Model Monocular SLAM Javier Civera, Andrew J. Davison and J. M. M. Montiel Abstract— Recent work has demonstrated the benefits of adopting a fully probabilistic SLAM approach in sequential motion a Add to Reading List Source URL: www.doc.ic.ac.uk Language: English - Date: 2008-02-06 05:42:56 Estimation theory Bayesian statistics Statistical models Kalman filter Particle filter Mixture model Markov chain Pattern recognition Simultaneous localization and mapping Statistics Robot control Markov models
143	Somno, The Barber of Clapham Junction, Introduces GPars Or how I learned to love Actor Model, Communicating Sequential Processes (CSP), and Dataflow Model, and treat threads as the assembly language of concurrency and pa Add to Reading List Source URL: www.russel.org.uk Language: English - Date: 2013-12-31 08:04:30 Functional languages Inter-process communication Java specification requests Sleeping barber problem Actor model Scala Groovy Futures and promises E Computing Concurrent computing Concurrency
144	A Sequential Model of Computation for First-Order Logic Steven Lindell Haverford College[removed]SUMMARY: Problems computable in constant time on a uniform parallel model of computation (a type of PRAM) have been elegantly Add to Reading List Source URL: www.haverford.edu Language: English - Date: 2012-03-28 11:42:30 Computability theory Formal methods Models of computation Theory of computation Algorithm FO Turing machine Lookup table Computability Theoretical computer science Applied mathematics Mathematics
145	FORMALIZATION AND VERIFICATION OF SHARED MEMORY Add to Reading List Source URL: www.cs.utah.edu Language: English - Date: 2005-01-05 10:38:15 Theoretical computer science Concurrent computing Formal methods Consistency model Transaction processing Sequential consistency Actor model Parallel computing Formal verification Computing Data Logic in computer science
146	Do U.S. Multinationals Engage In Sequential Choice? Evidence from New Manufacturing Add to Reading List Source URL: www.bea.gov Language: English - Date: 2011-05-23 12:28:57 Statistical models Macroeconomics Choice modelling Scientific modeling Discrete choice Macroeconomic model Regression analysis Economics Statistics Economic theories
147	On the non-sequential nature of the interval-domain model of real-number computation Mart´ın Escard´o, Martin Hofmann, Thomas Streicher Add to Reading List Source URL: www.cs.bham.ac.uk Language: English - Date: 2002-10-18 10:35:03 Calculus Continuous function Function Denotational semantics Partially ordered set Exponentiation Interval arithmetic Uniform continuity Mathematics Mathematical analysis Functions and mappings
148	Relationships between Models of Concurrency Mogens Nielsen∗ Add to Reading List Source URL: www.daimi.au.dk Language: English - Date: 2000-09-12 07:39:17 Abstract algebra State transition system Petri net Structure Determinism Model theory Trace monoid Denotational semantics Communicating sequential processes Models of computation Mathematics Theoretical computer science
149	PDF Document Add to Reading List Source URL: www.usingcsp.com Language: English - Date: 2004-06-21 06:17:39 Concurrency Software engineering Actor model Communicating sequential processes Thread Algorithm Parallel computing Communications protocol Mathematics Computing Concurrent computing Process calculi
150	PDF Document Add to Reading List Source URL: www.hpl.hp.com Language: English - Date: 2007-10-21 18:30:28 Computer memory Transaction processing Compiler construction Concurrency Programming language design Consistency model Sequential consistency Memory model Linearizability Computing Software engineering Computer architecture

UPDATE